algorithmic resolvability

Компьютерная техника: алгоритмическая разрешимость